Phase noise contribution of EOMs and HF cables

Two key components of LISA's inter-spacecraft clock tone transfer chain are electro-optic modulators (EOMs) and high-frequency (HF) cable assemblies. At modulation frequencies of 2 GHz, we characterized the excess phase noise of these components in the LISA frequency range (0.1 mHz to 1 Hz). The upper phase noise limit was found to be almost an order of magnitude better than required. In addition, phase dependencies on temperature were determined. The measured coefficients are within a few milliradians per Kelvin and thereby negligible due to the specified on-board temperature stability

A Demonstration of LISA Laser Communication

Over the past few years questions have been raised concerning the use of laser communications links between sciencecraft to transmit phase information crucial to the reduction of laser frequency noise in the LISA science measurement. The concern is that applying medium frequency phase modulations to the laser carrier could compromise the phase stability of the LISA fringe signal. We have modified the table-top interferometer presented in a previous article by applying phase modulations to the laser beams in order to evaluate the effects of such modulations on the LISA science fringe signal. We have demonstrated that the phase resolution of the science signal is not degraded by the presence of medium frequency phase modulations.Comment: minor corrections found in the CQG versio

Reliably Classifying Novice Programmer Exam Responses using the SOLO Taxonomy

Abstract: Past papers of the BRACElet project have described an approach to teaching and assessing students where the students are presented with short pieces of code, and are instructed to explain, in plain English, what the code does. The student responses to these types of questions can be analysed according to the SOLO taxonomy. Some students display an understanding of the code as a single, functional whole, while other students cannot âsee the forest for the treesâ . However, classifying student responses into the taxonomy is not always straightforward. This paper analyses the reliability of the SOLO taxonomy as a means of categorising student responses. The paper derives an augmented set of SOLO categories for application to the programming domain, and proposes a set of guidelines for researchers to use

A Model for the Voltage Steps in the Breakdown of the Integer Quantum Hall Effect

In samples used to maintain the US resistance standard the breakdown of the dissipationless integer quantum Hall effect occurs as a series of dissipative voltage steps. A mechanism for this type of breakdown is proposed, based on the generation of magneto-excitons when the quantum Hall fluid flows past an ionised impurity above a critical velocity. The calculated generation rate gives a voltage step height in good agreement with measurements on both electron and hole gases. We also compare this model to a hydrodynamic description of breakdown.Comment: 4 pages including 3 figure

Impact of radiographer immediate reporting of X-rays of the chest from general practice on the lung cancer pathway (radioX): a randomised controlled trial

The National Optimal Lung Cancer Pathway recommends rapid progression from abnormal chest X-rays (CXRs) to CT. The impact of the more rapid reporting on the whole pathway is unknown. The aim of this study was to determine the impact of immediate reporting of CXRs requested by primary care by radiographers on the time to diagnosis of lung cancer. Method People referred for CXR from primary care to a single acute district general hospital in London attended sessions that were prerandomised to either immediate radiographer (IR) reporting or standard radiographer (SR) reporting within 24 hours. CXRs were subsequently reported by radiologists blind to the radiographer reports to test the reliability of the radiographer report. Radiographer and local radiologist discordant cases were reviewed by thoracic radiologists, blinded to reporter. Results 8682 CXRs were performed between 21 June 2017 and 4 August 2018, 4096 (47.2%) for IR and 4586 (52.8%) for SR. Lung cancer was diagnosed in 49, with 27 (55.1%) for IR. The median time from CXR to diagnosis of lung cancer for IR was 32 days (IQR 19, 70) compared with 63 days (IQR 29, 78) for SR (p=0.03). 8258 CXRs (95.1%) were reported by both radiographers and local radiologists. In the 1361 (16.5%) with discordance, the reviewing thoracic radiologists were equally likely to agree with local radiologist and radiographer reports. Conclusions Immediate reporting of CXRs from primary care reduces time to diagnosis of lung cancer by half, likely due to rapid progress to CT. Radiographer reports are comparable to local radiologist reports for accuracy. Trial registration International Standard Randomised Controlled Trial Number ISRCTN21818068. Registered on 20 June 2017

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Investigation of guided wave propagation in pipes fully- and partially-embedded in concrete

The application of long-range guided-wave testing to pipes embedded in concrete results in unpredictable test-ranges. The influence of the circumferential extent of the embedding-concrete around a steel pipe on the guided wave propagation is investigated. An analytical model is used to study the axisymmetric fully embedded pipe case, while explicit finite-element and semi-analytical finite-element simulations are utilised to investigate a partially embedded pipe. Model predictions and simulations are compared with full-scale guided-wave tests. The transmission-loss of the T(0,1)-mode in an 8 in. steel pipe fully embedded over an axial length of 0.4 m is found to be in the range of 32–36 dB while it reduces by a factor of 5 when only 50% of the circumference is embedded. The transmission-loss in a fully embedded pipe is mainly due to attenuation in the embedded section while in a partially embedded pipe it depend strongly on the extent of mode-conversion at entry to the embedded-section; low loss modes with energy concentrated in the region of the circumference not-covered with concrete have been identified. The results show that in a fully embedded pipe, inspection beyond a short distance will not be possible, whereas when the concrete is debonded over a fraction of the pipe circumference, inspection of substantially longer lengths may be possible

Radiation-pressure cooling and optomechanical instability of a micro-mirror

Recent experimental progress in table-top experiments or gravitational-wave interferometers has enlightened the unique displacement sensitivity offered by optical interferometry. As the mirrors move in response to radiation pressure, higher power operation, though crucial for further sensitivity enhancement, will however increase quantum effects of radiation pressure, or even jeopardize the stable operation of the detuned cavities proposed for next-generation interferometers. The appearance of such optomechanical instabilities is the result of the nonlinear interplay between the motion of the mirrors and the optical field dynamics. In a detuned cavity indeed, the displacements of the mirror are coupled to intensity fluctuations, which modifies the effective dynamics of the mirror. Such "optical spring" effects have already been demonstrated on the mechanical damping of an electromagnetic waveguide with a moving wall, on the resonance frequency of a specially designed flexure oscillator, and through the optomechanical instability of a silica micro-toroidal resonator. We present here an experiment where a micro-mechanical resonator is used as a mirror in a very high-finesse optical cavity and its displacements monitored with an unprecedented sensitivity. By detuning the cavity, we have observed a drastic cooling of the micro-resonator by intracavity radiation pressure, down to an effective temperature of 10 K. We have also obtained an efficient heating for an opposite detuning, up to the observation of a radiation-pressure induced instability of the resonator. Further experimental progress and cryogenic operation may lead to the experimental observation of the quantum ground state of a mechanical resonator, either by passive or active cooling techniques

Dynamical Coupling between a Bose-Einstein Condensate and a Cavity Optical Lattice

A Bose-Einstein condensate is dispersively coupled to a single mode of an ultra-high finesse optical cavity. The system is governed by strong interactions between the atomic motion and the light field even at the level of single quanta. While coherently pumping the cavity mode the condensate is subject to the cavity optical lattice potential whose depth depends nonlinearly on the atomic density distribution. We observe bistability already below the single photon level and strong back-action dynamics which tunes the system periodically out of resonance.Comment: 5 pages, 4 figure

How to analyse longitudinal data from multiple sources in qualitative health research : the pen portrait analytic technique

BACKGROUND: Longitudinal qualitative research is starting to be used in applied health research, having been popular in social research for several decades. There is potential for a large volume of complex data to be captured, over a span of months or years across several different methods. How to analyse this volume of data - with its inherent complexity - represents a problem for health researchers. There is a previous dearth of methodological literature which describes an appropriate analytic process which can be readily employed. METHODS: We document a worked example of the Pen Portrait analytic process, using the qualitative dataset for which the process was originally developed. RESULTS: Pen Portraits are recommended as a way in which longitudinal health research data can be concentrated into a focused account. The four stages of undertaking a pen portrait are: 1) understand and define what to focus on 2) design a basic structure 3) populate the content 4) interpretation. Instructive commentary and guidance is given throughout with consistent reference to the original study for which Pen Portraits were devised. The Pen Portrait analytic process was developed by the authors, borne out of a need to effectively integrate multiple qualitative methods collected over time. Pen Portraits are intended to be adaptable and flexible, in order to meet the differing analytic needs of qualitative longitudinal health studies. CONCLUSIONS: The Pen Portrait analytic process provides a useful framework to enable researchers to conduct a robust analysis of multiple sources of qualitative data collected over time